Title: A new logical machine