sophia: implement EDR