No, io ho messo dei nomi molto generici... per me $_SESSION['home'] è la generica variabile di sessione che contiene il valore della homepage (verrà da un query a db, oppure è strettamente legata la nome utente, non so... dipende dal tuo sistema.), mentre $_SESSION['islogged'] è la variabile che tiene traccia del fatto che l'utente sia effettivamente logato. Cambierai quiei nomi in base ai tuoi script effettivi (idem per la condizione nell'echo...).
Insomma, un attimo di elasticità mentale non guasta