Implementation of sisyphusPredicates started. No bodies yet.