1NT by West seems to fail by one trick on K♦ lead, and 4S should fail. However, as we all know, bridge is an inexact science; on this deal, at least, joyously so!