respect the use of brackets to determine term ordering - resolves #115