lemme

• OAS
• ramified
• bents
• tiebreaker
• dding