"Variables" is fully verified