$user instanceof User