wsehjk

What abstractions do you provide? And what invariants do you keep inside?