conjecturing_machine
