Contains Input Pin And Proof