#Proof_of_Ineffective_Input