Contract for the VLE