Better make it strictly correct.