On conjectures in orthocomplemented lattices | Publicación