Agreed, I grasped that per VM there are 4 core licenses necessary. So you only need 4 no matter the underlying hardware cluster (if you only use 4 virtual cpu's and 1 VM)?