generating inputs correctly