A support is either an assertion or an HL support. They often appear in justifications, which are lists of supports.
A support is either an assertion or an HL support. They often appear in justifications, which are lists of supports.