BEs are HEs

... but not all HEs are BEs

... and not all BEs are VEs, but all VEs were BEs