Tag: one claim and 3 proof plank array