Default Logic Package and Enum class