Added basic law-proving example.