Studies in Reflecting Abstraction · Study