Tapani Hyttinen Saharon Shelah Jouko A. Väänänen