explicitation