1 premises: 전제