What the Infoset isn’t