input case specification