Lotus proofs integration