simple sytax of logic