im trying to define simulation relations