Experiment with new ways to show completeness.