def make_false_list (n:nat) : ListOfSize n
	case n of
		0 -> empty
		S m -> cons m false (make_false_list m)