Fixed facts and regex for Sol