Om olika teoretiska grunder för hur beviskravet skall uppfyllas i domstolarna. Här ges bland annat en tolkning av "bortom rimligt tvivel" och utvecklas bevisvärderingsmodellen -- elimination av friande hypoteser -- som väsentligt skiljer sig från de så kallade tema- och värdemetoderna och dessas formeltillämpning