vEB -> check