Further expansion of logic