PREFIX madsrdf: