Abstractioning rules