One of my ongoing projects involves automated theorem proving. I wrote a utility to convert to and from file formats common in the field, and over time it's picked up some basic handling of boolean algebra in its own right (unit resolution, conversion to 3CNF, etc.) as part of its transformational repertoire.
I don't think I'd stoop to writing a line like this in any professional capacity:
$file = array_values(