Concepts Undecidable Unsatisfiable First Order Predicate Formula Complexity Analysis Runtime Complexity Space Complexity Amortized Analysis Expected Analysis