[Abstract 004] Mann passen formal