[WIP] specification for guesser