deductivarum