mandatory injunction subgroup of injunction, 2 assertions