Abstraction complete; almost ready for Delta Hanto