right so "[" is a file in /bin, "[[" is implicitly part of the shell, so that's as bad as I thought