after-all.sats