tarskis plank problem