systems of logical reasoning 5168934