General simplification patterns
absolutely no => no