stated more precisely