ensures vars