provability

• ladder
• nominating
• blockading
• gorps
• adiabatic
• Pascal
• maidens
• martyr