Let's Make It Clear: Federal Rules of Bankruptcy Procedure 3001 and 3002 and Lien-Stripping in a Distressed Real Estate Market