If God infallibly knows at T1 that agent A will do X at T2, then it is necessary that A does X at T2...