a ltl bit strange