begun adding Ordinal multiplication; incorrect for now