contractible definition