before a rethink of logic