== Pet extension

This is an extension for this definition