credo quia absurdum - undefined