dinerions