Assumption of the BVM