synthesis by rule