Apparently you can have both jarvis and ada refactor