A reflective subset of ABCL/1, written in ABCL/1 by Yonezawa of Tokyo Institute of Technology in 1988.