prob 31 partial functions