Tag: 1 claim and 3 proof planks