Assertion: human mathematician | /r/CapableOf | feel stuck
Facets:
Source sentences:
text: This is a point where many human mathematicians will feel stuck.