Tatsumi Kawaguchi presentations