SugarIs
predicate
SugarIsF
predicate