Tests for some proof