XDLXDL
satisfying · XDL