prove theorems about range of in_bool and in_fun