some var unifications