proof-creeping to Propellergator