根据模态判断对当关系，由“某甲必然是杀人犯”真，可推出“某甲可能是杀人犯”为（ ），“某甲必然不是杀人犯“为（ ）。