Fix Live status + unsatisfiable goal when universe is mater