Brendan George Koproof of existence