Listen

Description

What is provable?