verification principle