Introducing myself and metamath