Reducing on assertation