Input: This fact is key.
Output: 0