Check Theory & Gramm Functions P by Hiroyuki Ura