refactored some judgments; some notes on output factoring