some more missing abstractions