Shiro's Proposition