refined  module inclusion