Output Agreement Mechanisms and Common Knowledge