agbo-ex4-enumeration-d4