Text this: Parametric Shape Analysis via 3-Valued Logic.