implicit definition