Computing Mechanisms Without Proper Functions · Study