fixed double rule def