A Discussion With Greg Carvel and Chris Wells