LAS-Logic-4