[trenchgun]

Arrays/maps/lists are extensionally defined functions, where as functions/TLA+ operations are intensionally defined functions