We do actually want lowercase here for object spec

 No output change for variables ADT, so it must be safe