** 2 of 2 cover properties satisfied
VERIFICATION:- SUCCESSFUL