assert and formatting