[TUHS] Abstractions