Commons har multimedium som gjeld: Matematisk logikk