toughest simplification yet!