cbyzhs/tp — pull request #1 by n-chan (2012-06-27 16:12:32+00:00)
Title: Consistency lemmas + bugfix

Some consistency lemmas, one bugfix.