Logic syntax fixed