Counting CTL - Sciweavers