Ako základ možno použiť schému predikát (every). Podobná štruktúra ako v príklade everynum , ale sú tu iste zmeny. A treba dať pozor na poradie testov v cond.