Complete Operations Specifications