Rules now working enough to create LogicDemo.