Properties in IP3