small examples of proof object programming