<human>: Question: How many justices are on the Supreme Court?

Is The judicial system is headed by a Tribunal Supremo da Justiça (Supreme Court), made up of nine justices appointed by the president; they serve at the pleasure of the president. a good answer to this question?

OPTIONS:
- yes
- no
<bot>: yes