Introduce non-partial functions