Specifications about #a