In a mathematical game, a statement that players know and also know that other players know (ad infinitum)