( Partition is halt-free & Partition is shiftable ) ;