Adding Lavinthal
Minor tweaks
refining overcalls