Question: How many justices are on the Supreme Court?
Sentence: 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.
Answer in sentence: yes