Inner implies class