graph

  • refl and trans
    Sun, 07 Jul 2013 16:38:48 +0900, by Shinji KONO
  • Reasoning
    Sun, 07 Jul 2013 13:14:54 +0900, by Shinji KONO