WARNING: NIKI -- I have broken the printing of predicates to avoid CLUTTER in the web demo