Lotus proofs integration

Lotus proofs integration