ProofsFirst Samples