conclusion

open override val conclusion: Term