In case anybody is wondering how you find the reduced mapping...