( - alpha = alpha & alpha " = alpha-1 & alpha " <> alpha )