syntax is rad, ask any pure mathematician.