General simplification patterns

absolutely no => no