Title: Incomplete proofs and terms and their use in interactive theorem proving