A new logical machine