CPMBC 3 9 25 PROVERBS prolog