Revert "First commit from Verona"

This reverts commit 18e5ebc5689cb4372f8d3d9e82dc05aa8faaba83.