just some things stated more precisely