A tiny logic clarification in remoting