Used same fancy language as div0