Completed basic proof rules test coverage.