semiformalizations