unction

• prejudgment
• ATP
• gliders
• orderings
• shanghaiing
• deprecate