1. | If A did X at t, then it was causally determined before t that A do X at t. | |
2. | If it was causally determined before t that A do X at t, then A did not do X at t freely. | |
3. | If A did X at t, then A did not do X at t freely. | |
4. | If A did not do X at t freely, then A is not responsible for doing X at t. | |
5. | If A did X at t, then A is not responsible for doing X at t. |