Abstract & Logic