proof read up to not strictly