abstract domains, 5/14