First complete implementation with its set of states, behaviors and predicates. Ready for evaluation.
