Finally get definite specification via #242 really working