bronze_0_1 1175611154 learn There is no bashphorism 3. see corollary1.1