Como é formado o STF no Brasil?