logic

abstract var logic: Logic?