1. non vale in 1 e 2 in quanto esiste il cammino massimale $1, 2^w$ che non rende mai $q$ vera
2. $EFs$ vale in tutti gli stati, dato che in tutti gli stati esiste un cammino in cui prima o poi varrà $s$ → $AGEFs$ vale in tutti gli stati, dato che in tutti i cammini vale sempre $EFs$