Absence of proof doesn't mean no proof exists