Womsen’s Logic