Antilapsarian definitions