Proem definitions