several definitions