Add strict evaluation example
Enumerate miscellaneous features