Are the following sentences correct?<br/>What's the difference?<br/><br/>(1) Bob was quite relieved to discover the key.<br/>(2) Bob was quite relieved to have discovered the key.