include a reference for the proof of regularity