ProofsWeb SizedCrystal and Brian