$PROVE Trap. 0.9$