logic 5.5