Levine 513-specific conditionals