qqp question1: Is it possible to implement logic like certain proposition p holds true in maximum two states along a path in CTL? question2: At the age of 25 I cleared CA final, working with Big 4 ,wanting to switch to consultancy.Should I give CAT 2016 to get into consultancy?