add method specification