t : " true"  ,t
f : " false" ,t
true  if t
false ifnot f
true  ifelse t f