added assumption about pinning