small bug
adding true and false predicates
renaming Area.containedWithin to contains