$NOT

Si nadie ha entrado, todavía hay tiempo para entrar.