( trueC : ( a b * x y * r s *) if : s d * loop )