added a conjunction form and changed fresh to return a goal iff 1) the body has multiple expressions, or 2) the body has one goal expression