variables double-checked