Strong equilibrium implementation for a principal with heterogeneous agents