Reformulate, inspired by the version of @abelards