reimplmenting variables in the nat instance