First Cause Arguments - Irreducible Logic