the only other country that released the searchers meet the rattles was canada this is however very questionable she has written five plays for the national theatre connections series intuitionistic type theory uses types in the place of truth values