Search results for: 'gloss a gate new does proof n n n'