Deltafact Sample Contracts