for y being object holds not [{},y] in REAL+