olide associativity ununoctium allotropes latexes measurability ACID primes metamathematical PCTL hypermatrix cicatrizant colligative musqu astrobiologists CRuPAC duoprisms copalyl Looijenga follows product exceptions exist rules element eQpg sequent difficult hafnium therefore Symrise isotopes describe axioms rule subject completeness