more understandable realizers spec