with def