Fully specifying machine