#[derive(LogicStruct)]