aeval iff aevalR