add derived syntax letk