Why not? There's a lot of unexplored space in lightweight specification languages and it's always cool to see a new take on it.