fixed rules to have more suitable result to do resolution