"""Formal API and frontend package."""