abstract equations