If possible worlds where God creates free creatures necessarily include worlds with evil, then ¬P & ...