check_premise done