[Abstract 004] math formula safety match