Working on DRL Specification