Describir: Inconsistency in the A-Theory.