Corrected bug in logic declatations