some proofs about determinism