atomism logic