equal abstraction at results are now registered as neighbors