the first three results don’t have anything to do with seminorms/gauge?