diff --git a/igneum-pow/src/accept.rs b/igneum-pow/src/accept.rs
index 5777be4b6..709d6f432 100644
--- a/igneum-pow/src/accept.rs
+++ b/igneum-pow/src/accept.rs
@@ -249,7 +249,8 @@ pub fn distinct_indices_v4(p: &Program, units: usize) -> Result<Vec<u32>, Reject
 /// the era set aside): the shape the sub-version 2 rules (a') and (c') apply to, on every draw path.
 pub fn is_class_v4_shape(class: &LoadClass) -> bool {
     matches!(class.shadow, Some(ShadowClass { instrs: V4_SHADOW_INSTRS, .. }))
-        && LoadClass { era: None, shadow: None, ..*class } == LoadClass { shadow: None, ..V4_CLASS }
+        // class v5 (docs/design/class-v5-stored-state.md) is judged under the same rules: its state flag is set aside
+        && LoadClass { era: None, shadow: None, state: false, ..*class } == LoadClass { shadow: None, ..V4_CLASS }
 }
 
 /// One pass of the dataflow freshness over the base program then the shadow block (the order of one iteration),