Souma-agda3-sou7ab

Souma-agda3-sou7ab suggestions