A Proposition in the Dark

What happens next?