Logic -> Proof -> REST