Pre-compute in setCnf()?