Format for case sensitivity
Fix up array example
Add existential check