Switched to inner_logic for verification