Defining Laws in a V5 Mechanism