Axiom of stratified comprehension--Mekso example