Some Questions about Expressiveness and Relative Completeness in Hoare's Logic