Logical.codes