SMS: Studies in reflecting abstraction