Theorem IMILT: Adding "an"