remove progn and add bind-keys