They call it SElinux, but it came from a program named 'Flask'. You gotta wonder about the naming conventions.
/johnny