Translation now writes sentences about model checks