Summary
- merged
- misc tuning and modernization;
- misc tuning and modernization;
- clarified def vs. ref focus, e.g. for calculation vs. command refs;
- entity markup for calculation;
- tuned;
- more markup for unstructured calculation;
- tuned proofs -- avoid unstructured calculation;
- tuned proofs -- avoid improper use of "this";