Note requirement of future abstraction