Update: essential construction defined

April 19, 2021