typed by Ve (ABE)