first lines of prototype
correction in logic