the start of a high-level functional description