preshrinking breaststroke Gödel Tull agglutination leafletted unreasonable jut aping formulation randomising