No More Learning

He fulfils the           task by formal logic.