Examples and cleaned up explanation of trace forms