An overview of OBJ2