missing stuff for product left multiplicity
chameleon theme predicate