✏️ Editing: prior.hpp