Specification by Tomasz Pasternak