Specifications implemented