an attempt at a simpler tertiary formula