Reasoning from Blocks to Stability