Worked on enhancing the documentation for the creusot-rs/creusot repository, focusing on clarifying the use of Rust logic constructs such as #[logic] and #[predicate]. The update detailed restrictions on invoking these constructs from standard Rust code and provided guidance on leveraging the pearlite! macro for logical operations. Additionally, the documentation explained the #[open] attribute, which manages cross-module visibility for logic functions. This work, delivered in Markdown and utilizing strong Rust knowledge, aimed to improve developer onboarding and reduce the risk of misuse by offering clear, practical examples and explanations for both new and experienced contributors to the project.