use a better example as "an test" is an error also detected by LightProof