Another example
Core.logic example