Function everyone_knows 

pub fn everyone_knows(agent_knows: &[bool]) -> bool

Everyone-knows E φ: every agent in the group knows φ. agent_knows[i] = does agent i know φ?