cleaning up risdf13 examples so far