A: specifications