Bit nicer definition for soundness