split assumptions
using nicer notation, which @caminati introduced