proper input: