this is a common but tricky pattern
A (heat)-> B (stable alumnium)
argument: B -> A
to weaken, B (on Earth) has nothing to with A
A (heat)-> B (stable alumnium)
argument: B -> A
to weaken, B (on Earth) has nothing to with A
