(n.) See Rotunda.