Redone definitions interactively