Báñezians, Molinists & others seem to tie themselves up in knots trying to coherently account for the conceptual compatibility of sufficient & efficacious graces, divine & creaturely freedoms, counterfactuals, permission to sin, predestination, impeccability, preterition, predilection, etc