Feltételezve, hogy a(z) prédikátor kifejezés kötelező, és könyve kifejezés kötelező, a következő eredmény található.