Niven's laws