How to construct partial functions

some additions ;-)