Rename deduction examples
Add completeness examples