Example of normal-form-based mapping