ABCs in Python