foxs-theorem-versions