Void-Based Reasoning