L E S S S P A C E , M O R E P R O O F S .