3899 axioms-15-00732.pdf 211 + 4110 .