Vital abstractions