Who said 'Everything must either be or not be, whether in the present or in the future' ?