congruum problem