Logic, Strings, and Arrays