Marriage logic