Made conjectures callable and gave them __name__'s