HOPKINS: Start refactoring MIRACLE