commit before new 'unsatisfied-implication' tack
before new unsatisfied-implication tack
make astyle errors go away?