Elegant Manual Specifications