(>0.0)> t(^o^t)