checkpoint
using navigationTask for isContradictory