theorem-prover Sticker