exception message
allow variables as conjunction arguments - resolves #12