logic

abstract val logic: Logic?