proof practice with answers - Search