Basic theoretical probability