Tag: one claim and three proof planks.1claim and 3 proof planks