foo ((True)) = 1