more missing abstractions