```calc
y := G*2 = ?
G ::= 10
```