abstraction and mining coordinator