replaced stencils by metamath functionality