Find!
x1 is such that {poi'i} abstraction is true; x1 binds {ke'a} within the abstraction.
Originally proposed by And Rosta around 2001.