📖 Meaning for semiproofs is being prepared.
Our team is working on adding the translation. Please check back shortly.