Standard logic