Dedemonizing frustration in mathematics