Results for ttl-logic