Title: Experiments in logic and computer design