Abstract and Logic