prog: and_EI