arithmetic and sound arguments