Comment by measurablefunc

Just assume standard semantics & it should make sense.