is definitionally equivalent to a system given by van Fraassen in The Logic of Conditional Obligation and shown there to be sound and complete for the class of what we may call multi positional models meeting (N).