let
help =
"Use build-in array theory of alt-ergo."