Add hash table to store conjectures and true/fals