Formal ball (source code)

= Formal ball
{wiki=Formal_ball}