Coq EKATE, Forma: rotund