Defined multiplication rules (only blank patterns on LHS)