Reasoning about unknown variables