if (null !== $user = ....