Proof Patterns | EKB DL