toStrings corrected
Predicat refactored