cosmological argument subgroup of argument, 3 assertions