CLAST Logic