Implement DECRARA