Contains the logic classes of SOTA.