static double sqrtAThird() {
  ret Math.sqrt(1/3);
}