(WIP) Abstraction

do not merge