TDWTF code is usually hyperbolized. It might not have been called Bool.