running set() through push()