conclusion

abstract val conclusion: Term