Korean ECM constructions seem to give rise to many interesting problems with the minimalist program. Of these problems, we are mainly concerned with the following: (A) How is the ECMed NP/DP assigned accusative Case despite the fact that the clause containing it is supposed to be finite? (B) How can the ECMed NP/DP be affected by the accusative Case assigner though finite clauses are phases? Accessing answers to these problems, we will find out that some unknown properties of the embedded predicates in Korean ECM constructions are involved in the transitivity restriction, and that there is a derivational mechanism for determining whether given movement is A or A`.