Code used by the Edinferno Team