My understanding is that a US provisional application can be used to establish the priority date for a PCT application. To do so, must the provisional application contain claims and be a formal application just as would be required for the PCT application? Or is it acceptable, for the PCT purposes, for the provisional application to be less formal and no claims.