conditional 0/1 types