Eagerly initialize formula specs
Remove "double negative" condition