Bailey - Proofs LSP