typo
tidy
excluded middle
crippled codec