Source: https://money.stackexchange.com/questions/71594/understanding-highly-compensated-employees-within-401ks