Past Reasoning Sats Papers