tạo các tiền đề