maxsnew/synthetic-domain-theory not found