Logical Guide to First Cause