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. |