Smolka's Postulate view 3