Title: reformed symbolics