Talk:Girard form class