Comparison of two different methods of polishing porcelain.