adding initial declarations to estop code